Was (wer) ist Θεωρία τύπων - definition

Στα Μαθηματικά, στη Λογική και στη Επιστήμη των Υπολογιστών, η Θεωρία Τύπων είναι ένα από τα τυπικά συστήματα τα οποία χρησιμοποιούνται στην Απλοϊκή Θεωρία Συνόλων, ή στη μελέτη τέτοιων φορμαλισμών γενικότερα. Στη Θεωρία των Γλωσσών Προγραμματισμού, ενός κλάδου της Επιστήμης των Υπολογιστών, η Θεωρία Τύπων μπορεί να αναφέρεται στο σχεδιασμό, στην ανάλυση και στη μελέτη των Συστημάτων Τύπων, παρόλο που κάποιοι επιστήμονες της Πληροφορικής περιορίζουν τη σημασία του όρου στη μελέτη των αφηρημένων φορμαλισμών όπως ο λ-λογισμός με τύπους.

Υπάρχουν πλέον πειστικές ενδείξεις ότι η θεωρία υπερχορδών αποτελεί μέρος μίας πληρέστερης θεωρίας, η οποία αποκαλείται συνήθως Θεωρία-Μ. Σημαντικό μέρος της γνώσης μας για τη θεωρία-Μ προέρχεται από το όριο χαμηλής ενέργειας, το οποίο περιγράφεται από την ενδεκαδιάστατη υπερβαρύτητα.

Η θεωρία παιγνίων (game theory) ξεκίνησε ως κλάδος των οικονομικών με το βιβλίο των Τζον φον Νόιμαν (John von Neumann) και Όσκαρ Μόργκενστερν (Oskar Morgenstern), Theory of Games and Economic Behaviour πάνω σε παιχνίδια μηδενικού αθροίσματος (zero-sum games). Το κύριο αντικείμενό της είναι η ανάλυση των αποφάσεων σε καταστάσεις στρατηγικής αλληλεξάρτησης.